fn foo() {
    v = 1;
    //ERROR:
    if (v > 2) {
        return 1;
    }
}

